Cmu / Sei - 93 - Tr -
نویسندگان
چکیده
منابع مشابه
Eliminative Argumentation: A Basis for Arguing Confidence in System Properties
Assurance cases provide a structured method of explaining why a system has some desired property, for example, that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. This report defines a new concept, eliminative argumentation, that provides a philosophically grounded basis for assessing how much confi...
متن کاملExperiment Transcripts for the Evaluation of the Rational Environment
This report supplements the SEI report Evaluation of the Rational Environment (CMU/SEI-88-TR-15) by Peter Feiler, Susan Dart, and Grace Downey. It contains the instantiation of the experiments presented in the Evaluation of Ada Environments by Nelson Weiderman, et al. (see [7]). Overall conclusions and analysis of the Rational Environment can be found in Evaluation of the Rational Environment.
متن کاملQuality Attribute Workshops
Quality attribute workshops (QAW) provide a method for evaluating the architecture of a software-intensive system during the acquisition phase of major programs. The architecture is evaluated against a number of critical quality attributes, such as availability, performance, security, interoperability, and modifiability. The evaluation is based on test cases that capture questions and concerns ...
متن کاملSpecial Report CMU/SEI-93-SR-5 Reengineering: An Engineering Problem
This paper discusses a plan that addresses how the Software Engineering Institute (SEI) may assist the Department of Defense (DoD) in reengineering its large software-intensive systems. This plan is based on a view of reengineering as an engineering problem to improve the cost-effective evolution of large software-intensive systems. This view of reengineering, which takes the whole software eng...
متن کاملEvaluation of the Rational Environment
This report presents an analysis of the Rational R1000 Development System for Ada, also called the Rational Environment. The evaluation combined the use of the Software Engineering Institute (SEI) methodology for evaluation of Ada environments, an analysis of functionality not covered by that methodology, and an assessment of the novel environment architecture of the Rational Environment. In ad...
متن کامل